Concurrency control - PDFSEARCH.IO - Document Search Engine

Concurrency control
Results: 1488

#	Item
801	Dynamic Synthesis for Relaxed Memory Models Feng Liu Nayden Nedev Nedyalko Prisadnikov Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2012-04-06 10:33:51 Transaction processing Concurrency Computer memory Linearizability Concurrent computing Non-blocking algorithm Memory barrier Sequential consistency Parallel computing Computing Concurrency control Computer architecture
802	Testing Atomicity of Composed Concurrent Operations Ohad Shacham Nathan Bronson Alex Aiken Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:26:32 Data management Data Concurrent computing Linearizability Atomicity Lock Concurrent data structure Parallel computing Concurrency Concurrency control Transaction processing Computing
803	Asynchronous Assertions Edward E. Aftandilian Samuel Z. Guyer Martin Vechev Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:26:36 Concurrency control Assertion Debugging Logic in computer science Thread Copy-on-write Garbage collection Monitor Objective-C Computing Computer programming Software engineering
804	Implementing Symmetric Multiprocessing in LispWorks Making a multithreaded application more multithreaded Martin Simmons, LispWorks Ltd Copyright © 2009 LispWorks Ltd Add to Reading List Source URL: www.lispworks.com Language: English - Date: 2015-01-22 10:12:11 Functional languages Lisp programming language Threads Concurrency control LispWorks Common Lisp Lisp Green threads Garbage collection Computing Computer programming Software engineering
805	Verifying Optimistic Algorithms Should be Easy (Position Paper) Noam Rinetzky Martin T. Vechev Eran Yahav Greta Yorsh Queen Mary University of London IBM T.J. Watson Research Center Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:30:20 Transaction processing Mathematics Thread Linearization Algorithm Concurrency Concurrency control Computing Linearizability
806	¨ t Augsburg Universita Proving Linearizability with Temporal Logic S. B¨ Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:20:17 Concurrency control Algorithm Mathematical logic Theoretical computer science Non-blocking algorithm Linearizability Stack Temporal logic Logic programming Computing Computer programming Software engineering
807	PostgreSQL Concurrency Issues 1 PostgreSQL Concurrency Issues Add to Reading List Source URL: www.sai.msu.su Language: English - Date: 2002-06-19 16:59:16 Concurrency control Computing Databases Isolation PostgreSQL Tom Lane Serializability Lock SQL Transaction processing Data management Data
808	Hekaton: SQL Server’s Memory-Optimized OLTP Engine Cristian Diaconu, Craig Freedman, Erik Ismert, Per-Åke Larson, Pravin Mittal, Ryan Stonecipher, Nitin Verma, Mike Zwilling Microsoft {cdiaconu, craigfr, eriki, palar Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-05-31 18:47:55 Data Relational database management systems Transaction processing Concurrency control Databases Microsoft SQL Server SQL Multiversion concurrency control Extensible Storage Engine Data management Database management systems Computing
809	Multiprocessor Considerations for Kernel-Mode Drivers - 9 Multiprocessor Considerations for Kernel-Mode Drivers - 9 Multiprocessor Considerations for Kernel-Mode Drivers - 10 Multiprocessor Considerations for Kernel-Mod Add to Reading List Source URL: download.microsoft.com Language: English - Date: 2006-04-05 17:04:11 Computer memory Memory barrier Architecture of Windows NT Lock Linearizability Spinlock Thread Kernel X86-64 Computing Computer architecture Concurrency control
810	Reducing Lock Contention in a Multi-core system by: Randall Stewart Why do we lock? z Add to Reading List Source URL: 2008.asiabsdcon.org Language: English - Date: 2014-01-03 03:46:37 C++ Software engineering Concurrency control Data types Struct C POSIX library Lock C++ classes Circular buffer Computing Computer programming C programming language

UPDATE